Auto merge of #5522 - DarkDrek:user_agent_option, r=alexcrichton
authorbors <bors@rust-lang.org>
Fri, 11 May 2018 23:38:48 +0000 (23:38 +0000)
committerbors <bors@rust-lang.org>
Fri, 11 May 2018 23:38:48 +0000 (23:38 +0000)
commitb24b455c327048df940ab8322cc6f9d361fef918
tree595acf8a7e96e6196b625c737f0432303c8e2ce9
parent0e042e82e4085ae8eed3cbfa1783ba7b32d9a821
parentab4b8b9d83dc6d50cd457398219f2e8a9acc854d
Auto merge of #5522 - DarkDrek:user_agent_option, r=alexcrichton

Add option to set user-agent

Fixes #5494